PittsburghV1, Main, Exploration, bibRecord, 000085

The first reactive synthesis competition (SYNTCOMP 2014)

Identifieur interne : 000085 ( Main/Exploration ); précédent : 000084; suivant : 000086

The first reactive synthesis competition (SYNTCOMP 2014)

Auteurs : Swen Jacobs [Autriche] ; Roderick Bloem [Autriche] ; Romain Brenguier [Royaume-Uni] ; Rüdiger Ehlers [Allemagne] ; Timotheus Hell [Autriche] ; Robert Könighofer [Autriche] ; Guillermo A. Pérez [Belgique] ; Jean-François Raskin [Belgique] ; Leonid Ryzhyk [Australie] ; Ocan Sankur [France] ; Martina Seidl [Autriche] ; Leander Tentrup [Allemagne] ; Adam Walker [Australie]

Source :

International Journal on Software Tools for Technology Transfer [ 1433-2779 ] ; 2016-04-09.

RBID : Hal:hal-01373547

Abstract

We introduce the reactive synthesis competition (SYNTCOMP), a long-term effort intended to stimulate and guide advances in the design and application of synthesis procedures for reactive systems. The first iteration of SYNTCOMP is based on the controller synthesis problem for finite-state systems and safety specifications. We provide an overview of this problem and existing approaches to solve it, and report on the design and results of the first SYNTCOMP. This includes the definition of the benchmark format, the collection of benchmarks, the rules of the competition, and the five synthesis tools that participated. We present and analyze the results of the competition and draw conclusions on the state of the art. Finally, we give an outlook on future directions of SYNTCOMP.

Url:

https://hal.inria.fr/hal-01373547

DOI: 10.1007/s10009-016-0416-3

Affiliations:

Links toward previous steps (curation, corpus...)

to stream Hal, to step Corpus: 000622
to stream Hal, to step Curation: 000622
to stream Hal, to step Checkpoint: 000084
to stream Main, to step Merge: 000085
to stream Main, to step Curation: 000085

Le document en format XML

<record><TEI><teiHeader><fileDesc><titleStmt><title xml:lang="en">The first reactive synthesis competition (SYNTCOMP 2014)</title>
<author><name sortKey="Jacobs, Swen" sort="Jacobs, Swen" uniqKey="Jacobs S" first="Swen" last="Jacobs">Swen Jacobs</name>
<affiliation wicri:level="1"><hal:affiliation type="institution" xml:id="struct-65509" status="VALID"><orgName>Graz University of Technology [Graz]</orgName>
<orgName type="acronym">TU Graz</orgName>
<desc><address><addrLine>Rechbauerstr. 12,  8010 Graz</addrLine>
<country key="AT"></country>
</address>
<ref type="url">https://www.tugraz.at/en/home/</ref>
</desc>
</hal:affiliation>
<country>Autriche</country>
</affiliation>
</author>
<author><name sortKey="Bloem, Roderick" sort="Bloem, Roderick" uniqKey="Bloem R" first="Roderick" last="Bloem">Roderick Bloem</name>
<affiliation wicri:level="1"><hal:affiliation type="institution" xml:id="struct-65509" status="VALID"><orgName>Graz University of Technology [Graz]</orgName>
<orgName type="acronym">TU Graz</orgName>
<desc><address><addrLine>Rechbauerstr. 12,  8010 Graz</addrLine>
<country key="AT"></country>
</address>
<ref type="url">https://www.tugraz.at/en/home/</ref>
</desc>
</hal:affiliation>
<country>Autriche</country>
</affiliation>
</author>
<author><name sortKey="Brenguier, Romain" sort="Brenguier, Romain" uniqKey="Brenguier R" first="Romain" last="Brenguier">Romain Brenguier</name>
<affiliation wicri:level="1"><hal:affiliation type="institution" xml:id="struct-302612" status="VALID">          <orgName>University of Oxford [Oxford]</orgName>
          <desc>            <address>              <addrLine>Wellington Square, Oxford OX1 2JD</addrLine>
              <country key="GB"></country>
            </address>
            <ref type="url">http://www.ox.ac.uk/</ref>
          </desc>
        </hal:affiliation>
<country>Royaume-Uni</country>
</affiliation>
</author>
<author><name sortKey="Ehlers, Rudiger" sort="Ehlers, Rudiger" uniqKey="Ehlers R" first="Rüdiger" last="Ehlers">Rüdiger Ehlers</name>
<affiliation wicri:level="1"><hal:affiliation type="institution" xml:id="struct-25793" status="VALID">          <orgName>Deutsche Forschungszentrum für Künstliche Intelligenz [Bremen]</orgName>
          <orgName type="acronym">DKFI</orgName>
          <desc>            <address>              <addrLine>Robert-Hooke-Straße 1D-28359 Bremen</addrLine>
              <country key="DE"></country>
            </address>
            <ref type="url">https://www.dfki.de/web</ref>
          </desc>
        </hal:affiliation>
<country>Allemagne</country>
</affiliation>
</author>
<author><name sortKey="Hell, Timotheus" sort="Hell, Timotheus" uniqKey="Hell T" first="Timotheus" last="Hell">Timotheus Hell</name>
<affiliation wicri:level="1"><hal:affiliation type="institution" xml:id="struct-65509" status="VALID"><orgName>Graz University of Technology [Graz]</orgName>
<orgName type="acronym">TU Graz</orgName>
<desc><address><addrLine>Rechbauerstr. 12,  8010 Graz</addrLine>
<country key="AT"></country>
</address>
<ref type="url">https://www.tugraz.at/en/home/</ref>
</desc>
</hal:affiliation>
<country>Autriche</country>
</affiliation>
</author>
<author><name sortKey="Konighofer, Robert" sort="Konighofer, Robert" uniqKey="Konighofer R" first="Robert" last="Könighofer">Robert Könighofer</name>
<affiliation wicri:level="1"><hal:affiliation type="institution" xml:id="struct-65509" status="VALID"><orgName>Graz University of Technology [Graz]</orgName>
<orgName type="acronym">TU Graz</orgName>
<desc><address><addrLine>Rechbauerstr. 12,  8010 Graz</addrLine>
<country key="AT"></country>
</address>
<ref type="url">https://www.tugraz.at/en/home/</ref>
</desc>
</hal:affiliation>
<country>Autriche</country>
</affiliation>
</author>
<author><name sortKey="Perez, Guillermo A" sort="Perez, Guillermo A" uniqKey="Perez G" first="Guillermo A." last="Pérez">Guillermo A. Pérez</name>
<affiliation wicri:level="1"><hal:affiliation type="institution" xml:id="struct-92969" status="VALID">          <orgName>Université Libre de Bruxelles [Bruxelles]</orgName>
          <orgName type="acronym">ULB</orgName>
          <desc>            <address>              <addrLine>Avenue Franklin Roosevelt 50 - 1050 Bruxelles</addrLine>
              <country key="BE"></country>
            </address>
            <ref type="url">http://www.ulb.ac.be</ref>
          </desc>
        </hal:affiliation>
<country>Belgique</country>
</affiliation>
</author>
<author><name sortKey="Raskin, Jean Francois" sort="Raskin, Jean Francois" uniqKey="Raskin J" first="Jean-François" last="Raskin">Jean-François Raskin</name>
<affiliation wicri:level="1"><hal:affiliation type="institution" xml:id="struct-92969" status="VALID">          <orgName>Université Libre de Bruxelles [Bruxelles]</orgName>
          <orgName type="acronym">ULB</orgName>
          <desc>            <address>              <addrLine>Avenue Franklin Roosevelt 50 - 1050 Bruxelles</addrLine>
              <country key="BE"></country>
            </address>
            <ref type="url">http://www.ulb.ac.be</ref>
          </desc>
        </hal:affiliation>
<country>Belgique</country>
</affiliation>
</author>
<author><name sortKey="Ryzhyk, Leonid" sort="Ryzhyk, Leonid" uniqKey="Ryzhyk L" first="Leonid" last="Ryzhyk">Leonid Ryzhyk</name>
<affiliation wicri:level="1"><hal:affiliation type="institution" xml:id="struct-300765" status="VALID">          <orgName>National ICT Australia [Sydney]</orgName>
          <orgName type="acronym">NICTA</orgName>
          <desc>            <address>              <country key="AU"></country>
            </address>
            <ref type="url">https://www.nicta.com.au</ref>
          </desc>
        </hal:affiliation>
<country>Australie</country>
</affiliation>
</author>
<author><name sortKey="Sankur, Ocan" sort="Sankur, Ocan" uniqKey="Sankur O" first="Ocan" last="Sankur">Ocan Sankur</name>
<affiliation wicri:level="1"><hal:affiliation type="researchteam" xml:id="struct-210611" status="OLD">          <idno type="RNSR">201321087U</idno>
          <orgName>SUpervision of large MOdular and distributed systems</orgName>
          <orgName type="acronym">SUMO</orgName>
          <desc>            <address>              <addrLine>Campus de Beaulieu 35042 Rennes cedex</addrLine>
              <country key="FR"></country>
            </address>
            <ref type="url">http://www.inria.fr/equipes/sumo</ref>
          </desc>
          <listRelation>            <relation active="#struct-419153" type="direct"></relation>
            <relation active="#struct-300009" type="indirect"></relation>
            <relation active="#struct-419365" type="direct"></relation>
            <relation active="#struct-105128" type="indirect"></relation>
            <relation active="#struct-172265" type="indirect"></relation>
            <relation name="UMR6074" active="#struct-441569" type="indirect"></relation>
            <relation active="#struct-247362" type="indirect"></relation>
            <relation name="- RENNES" active="#struct-301232" type="indirect"></relation>
            <relation active="#struct-301262" type="indirect"></relation>
            <relation active="#struct-105160" type="indirect"></relation>
            <relation active="#struct-411575" type="indirect"></relation>
          </listRelation>
        <tutelles><tutelle active="#struct-419153" type="direct"><org type="laboratory" xml:id="struct-419153" status="VALID"><idno type="RNSR">198018249C</idno>
<orgName>Inria Rennes – Bretagne Atlantique </orgName>
<desc><address><addrLine>Campus de beaulieu35042 Rennes cedex</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.inria.fr/centre/rennes</ref>
</desc>
<listRelation><relation active="#struct-300009" type="direct"></relation>
</listRelation>
</org>
</tutelle>
<tutelle active="#struct-300009" type="indirect"><org type="institution" xml:id="struct-300009" status="VALID"><orgName>Institut National de Recherche en Informatique et en Automatique</orgName>
<orgName type="acronym">Inria</orgName>
<desc><address><addrLine>Domaine de VoluceauRocquencourt - BP 10578153 Le Chesnay Cedex</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.inria.fr/en/</ref>
</desc>
</org>
</tutelle>
<tutelle active="#struct-419365" type="direct"><org type="department" xml:id="struct-419365" status="OLD">          <orgName>LANGAGE ET GÉNIE LOGICIEL</orgName>
          <orgName type="acronym">IRISA-D4</orgName>
          <desc>            <address>              <country key="FR"></country>
            </address>
            <ref type="url">https://www.irisa.fr/fr/departements/d4-langage-genie-logiciel</ref>
          </desc>
          <listRelation>            <relation active="#struct-105128" type="direct"></relation>
            <relation active="#struct-172265" type="indirect"></relation>
            <relation name="UMR6074" active="#struct-441569" type="indirect"></relation>
            <relation active="#struct-247362" type="indirect"></relation>
            <relation active="#struct-300009" type="indirect"></relation>
            <relation name="- RENNES" active="#struct-301232" type="indirect"></relation>
            <relation active="#struct-301262" type="indirect"></relation>
            <relation active="#struct-105160" type="indirect"></relation>
            <relation active="#struct-411575" type="indirect"></relation>
          </listRelation>
        </org>
</tutelle>
<tutelle active="#struct-105128" type="indirect"><org type="laboratory" xml:id="struct-105128" status="OLD">          <idno type="IdRef">026386909</idno>
          <idno type="ISNI">0000 0001 2298 7270</idno>
          <idno type="RNSR">200012163A</idno>
          <orgName>Institut de Recherche en Informatique et Systèmes Aléatoires</orgName>
          <orgName type="acronym">IRISA</orgName>
          <date type="start">2000</date>
          <date type="end">2016-12-31</date>
          <desc>            <address>              <addrLine>Avenue du général LeclercCampus de Beaulieu 35042 RENNES CEDEX</addrLine>
              <country key="FR"></country>
            </address>
            <ref type="url">http://www.irisa.fr</ref>
          </desc>
          <listRelation>            <relation active="#struct-172265" type="direct"></relation>
            <relation name="UMR6074" active="#struct-441569" type="direct"></relation>
            <relation active="#struct-247362" type="direct"></relation>
            <relation active="#struct-300009" type="direct"></relation>
            <relation name="- RENNES" active="#struct-301232" type="direct"></relation>
            <relation active="#struct-301262" type="direct"></relation>
            <relation active="#struct-105160" type="direct"></relation>
            <relation active="#struct-411575" type="direct"></relation>
          </listRelation>
        </org>
</tutelle>
<tutelle active="#struct-172265" type="indirect"><org type="institution" xml:id="struct-172265" status="VALID">          <orgName>Université de Bretagne Sud</orgName>
          <orgName type="acronym">UBS</orgName>
          <desc>            <address>              <addrLine>BP 92116 - 56321 Lorient cedex</addrLine>
              <country key="FR"></country>
            </address>
            <ref type="url">http://www.univ-ubs.fr/</ref>
          </desc>
        </org>
</tutelle>
<tutelle name="UMR6074" active="#struct-441569" type="indirect"><org type="institution" xml:id="struct-441569" status="VALID">          <idno type="IdRef">02636817X</idno>
          <idno type="ISNI">0000000122597504</idno>
          <orgName>Centre National de la Recherche Scientifique</orgName>
          <orgName type="acronym">CNRS</orgName>
          <date type="start">1939-10-19</date>
          <desc>            <address>              <country key="FR"></country>
            </address>
            <ref type="url">http://www.cnrs.fr/</ref>
          </desc>
        </org>
</tutelle>
<tutelle active="#struct-247362" type="indirect"><org type="institution" xml:id="struct-247362" status="VALID">          <orgName>École normale supérieure - Rennes</orgName>
          <orgName type="acronym">ENS Rennes</orgName>
          <desc>            <address>              <addrLine>Campus de Ker Lann - avenue Robert Schuman - 35170 Bruz</addrLine>
              <country key="FR"></country>
            </address>
            <ref type="url">http://www.ens-rennes.fr</ref>
          </desc>
        </org>
</tutelle>
<tutelle name="- RENNES" active="#struct-301232" type="indirect"><org type="institution" xml:id="struct-301232" status="VALID">          <orgName>Institut National des Sciences Appliquées</orgName>
          <orgName type="acronym">INSA</orgName>
          <desc>            <address>              <country key="FR"></country>
            </address>
          </desc>
        </org>
</tutelle>
<tutelle active="#struct-301262" type="indirect"><org type="institution" xml:id="struct-301262" status="VALID">          <orgName>Télécom Bretagne</orgName>
          <date type="start">1977</date>
          <desc>            <address>              <addrLine>Technopôle Brest-IroiseCS 8381829238 BREST Cedex 3</addrLine>
              <country key="FR"></country>
            </address>
            <ref type="url">http://www.telecom-bretagne.eu/</ref>
          </desc>
        </org>
</tutelle>
<tutelle active="#struct-105160" type="indirect"><org type="institution" xml:id="struct-105160" status="VALID">          <orgName>Université de Rennes 1</orgName>
          <orgName type="acronym">UR1</orgName>
          <desc>            <address>              <addrLine>2 rue du Thabor - CS 46510 - 35065 Rennes cedex</addrLine>
              <country key="FR"></country>
            </address>
            <ref type="url">http://www.univ-rennes1.fr/</ref>
          </desc>
        </org>
</tutelle>
<tutelle active="#struct-411575" type="indirect"><org type="institution" xml:id="struct-411575" status="VALID"><orgName>CentraleSupélec</orgName>
<desc><address><addrLine>3, rue Joliot Curie,Plateau de Moulon,91192 GIF-SUR-YVETTE Cedex</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.centralesupelec.fr</ref>
</desc>
</org>
</tutelle>
</tutelles>
</hal:affiliation>
<country>France</country>
<placeName><settlement type="city">Lorient</settlement>
<region type="region" nuts="2">Région Bretagne</region>
</placeName>
<orgName type="university">Université de Bretagne-Sud</orgName>
<orgName type="institution" wicri:auto="newGroup">Université européenne de Bretagne</orgName>
<placeName><settlement type="city">Rennes</settlement>
<region type="region" nuts="2">Région Bretagne</region>
</placeName>
<orgName type="university">Université de Rennes 1</orgName>
<orgName type="institution" wicri:auto="newGroup">Université européenne de Bretagne</orgName>
</affiliation>
</author>
<author><name sortKey="Seidl, Martina" sort="Seidl, Martina" uniqKey="Seidl M" first="Martina" last="Seidl">Martina Seidl</name>
<affiliation wicri:level="1"><hal:affiliation type="institution" xml:id="struct-210559" status="VALID">          <orgName>Johannes Kepler University Linz [linz]</orgName>
          <orgName type="acronym">JKU</orgName>
          <desc>            <address>              <addrLine>Altenberger Straße 69, 4040 Linz</addrLine>
              <country key="AT"></country>
            </address>
            <ref type="url">http://www.jku.at</ref>
          </desc>
        </hal:affiliation>
<country>Autriche</country>
</affiliation>
</author>
<author><name sortKey="Tentrup, Leander" sort="Tentrup, Leander" uniqKey="Tentrup L" first="Leander" last="Tentrup">Leander Tentrup</name>
<affiliation wicri:level="1"><hal:affiliation type="institution" xml:id="struct-110922" status="VALID">          <orgName>Saarland University [Saarbrücken]</orgName>
          <desc>            <address>              <addrLine>66123 Saarbrücken</addrLine>
              <country key="DE"></country>
            </address>
            <ref type="url">http://www.uni-saarland.de/en/</ref>
          </desc>
        </hal:affiliation>
<country>Allemagne</country>
</affiliation>
</author>
<author><name sortKey="Walker, Adam" sort="Walker, Adam" uniqKey="Walker A" first="Adam" last="Walker">Adam Walker</name>
<affiliation wicri:level="1"><hal:affiliation type="institution" xml:id="struct-300765" status="VALID">          <orgName>National ICT Australia [Sydney]</orgName>
          <orgName type="acronym">NICTA</orgName>
          <desc>            <address>              <country key="AU"></country>
            </address>
            <ref type="url">https://www.nicta.com.au</ref>
          </desc>
        </hal:affiliation>
<country>Australie</country>
</affiliation>
</author>
</titleStmt>
<publicationStmt><idno type="wicri:source">HAL</idno>
<idno type="RBID">Hal:hal-01373547</idno>
<idno type="halId">hal-01373547</idno>
<idno type="halUri">https://hal.inria.fr/hal-01373547</idno>
<idno type="url">https://hal.inria.fr/hal-01373547</idno>
<idno type="doi">10.1007/s10009-016-0416-3</idno>
<date when="2016-04-09">2016-04-09</date>
<idno type="wicri:Area/Hal/Corpus">000622</idno>
<idno type="wicri:Area/Hal/Curation">000622</idno>
<idno type="wicri:Area/Hal/Checkpoint">000084</idno>
<idno type="wicri:explorRef" wicri:stream="Hal" wicri:step="Checkpoint">000084</idno>
<idno type="wicri:doubleKey">1433-2779:2016:Jacobs S:the:first:reactive</idno>
<idno type="wicri:Area/Main/Merge">000085</idno>
<idno type="wicri:Area/Main/Curation">000085</idno>
<idno type="wicri:Area/Main/Exploration">000085</idno>
</publicationStmt>
<sourceDesc><biblStruct><analytic><title xml:lang="en">The first reactive synthesis competition (SYNTCOMP 2014)</title>
<author><name sortKey="Jacobs, Swen" sort="Jacobs, Swen" uniqKey="Jacobs S" first="Swen" last="Jacobs">Swen Jacobs</name>
<affiliation wicri:level="1"><hal:affiliation type="institution" xml:id="struct-65509" status="VALID"><orgName>Graz University of Technology [Graz]</orgName>
<orgName type="acronym">TU Graz</orgName>
<desc><address><addrLine>Rechbauerstr. 12,  8010 Graz</addrLine>
<country key="AT"></country>
</address>
<ref type="url">https://www.tugraz.at/en/home/</ref>
</desc>
</hal:affiliation>
<country>Autriche</country>
</affiliation>
</author>
<author><name sortKey="Bloem, Roderick" sort="Bloem, Roderick" uniqKey="Bloem R" first="Roderick" last="Bloem">Roderick Bloem</name>
<affiliation wicri:level="1"><hal:affiliation type="institution" xml:id="struct-65509" status="VALID"><orgName>Graz University of Technology [Graz]</orgName>
<orgName type="acronym">TU Graz</orgName>
<desc><address><addrLine>Rechbauerstr. 12,  8010 Graz</addrLine>
<country key="AT"></country>
</address>
<ref type="url">https://www.tugraz.at/en/home/</ref>
</desc>
</hal:affiliation>
<country>Autriche</country>
</affiliation>
</author>
<author><name sortKey="Brenguier, Romain" sort="Brenguier, Romain" uniqKey="Brenguier R" first="Romain" last="Brenguier">Romain Brenguier</name>
<affiliation wicri:level="1"><hal:affiliation type="institution" xml:id="struct-302612" status="VALID">          <orgName>University of Oxford [Oxford]</orgName>
          <desc>            <address>              <addrLine>Wellington Square, Oxford OX1 2JD</addrLine>
              <country key="GB"></country>
            </address>
            <ref type="url">http://www.ox.ac.uk/</ref>
          </desc>
        </hal:affiliation>
<country>Royaume-Uni</country>
</affiliation>
</author>
<author><name sortKey="Ehlers, Rudiger" sort="Ehlers, Rudiger" uniqKey="Ehlers R" first="Rüdiger" last="Ehlers">Rüdiger Ehlers</name>
<affiliation wicri:level="1"><hal:affiliation type="institution" xml:id="struct-25793" status="VALID">          <orgName>Deutsche Forschungszentrum für Künstliche Intelligenz [Bremen]</orgName>
          <orgName type="acronym">DKFI</orgName>
          <desc>            <address>              <addrLine>Robert-Hooke-Straße 1D-28359 Bremen</addrLine>
              <country key="DE"></country>
            </address>
            <ref type="url">https://www.dfki.de/web</ref>
          </desc>
        </hal:affiliation>
<country>Allemagne</country>
</affiliation>
</author>
<author><name sortKey="Hell, Timotheus" sort="Hell, Timotheus" uniqKey="Hell T" first="Timotheus" last="Hell">Timotheus Hell</name>
<affiliation wicri:level="1"><hal:affiliation type="institution" xml:id="struct-65509" status="VALID"><orgName>Graz University of Technology [Graz]</orgName>
<orgName type="acronym">TU Graz</orgName>
<desc><address><addrLine>Rechbauerstr. 12,  8010 Graz</addrLine>
<country key="AT"></country>
</address>
<ref type="url">https://www.tugraz.at/en/home/</ref>
</desc>
</hal:affiliation>
<country>Autriche</country>
</affiliation>
</author>
<author><name sortKey="Konighofer, Robert" sort="Konighofer, Robert" uniqKey="Konighofer R" first="Robert" last="Könighofer">Robert Könighofer</name>
<affiliation wicri:level="1"><hal:affiliation type="institution" xml:id="struct-65509" status="VALID"><orgName>Graz University of Technology [Graz]</orgName>
<orgName type="acronym">TU Graz</orgName>
<desc><address><addrLine>Rechbauerstr. 12,  8010 Graz</addrLine>
<country key="AT"></country>
</address>
<ref type="url">https://www.tugraz.at/en/home/</ref>
</desc>
</hal:affiliation>
<country>Autriche</country>
</affiliation>
</author>
<author><name sortKey="Perez, Guillermo A" sort="Perez, Guillermo A" uniqKey="Perez G" first="Guillermo A." last="Pérez">Guillermo A. Pérez</name>
<affiliation wicri:level="1"><hal:affiliation type="institution" xml:id="struct-92969" status="VALID">          <orgName>Université Libre de Bruxelles [Bruxelles]</orgName>
          <orgName type="acronym">ULB</orgName>
          <desc>            <address>              <addrLine>Avenue Franklin Roosevelt 50 - 1050 Bruxelles</addrLine>
              <country key="BE"></country>
            </address>
            <ref type="url">http://www.ulb.ac.be</ref>
          </desc>
        </hal:affiliation>
<country>Belgique</country>
</affiliation>
</author>
<author><name sortKey="Raskin, Jean Francois" sort="Raskin, Jean Francois" uniqKey="Raskin J" first="Jean-François" last="Raskin">Jean-François Raskin</name>
<affiliation wicri:level="1"><hal:affiliation type="institution" xml:id="struct-92969" status="VALID">          <orgName>Université Libre de Bruxelles [Bruxelles]</orgName>
          <orgName type="acronym">ULB</orgName>
          <desc>            <address>              <addrLine>Avenue Franklin Roosevelt 50 - 1050 Bruxelles</addrLine>
              <country key="BE"></country>
            </address>
            <ref type="url">http://www.ulb.ac.be</ref>
          </desc>
        </hal:affiliation>
<country>Belgique</country>
</affiliation>
</author>
<author><name sortKey="Ryzhyk, Leonid" sort="Ryzhyk, Leonid" uniqKey="Ryzhyk L" first="Leonid" last="Ryzhyk">Leonid Ryzhyk</name>
<affiliation wicri:level="1"><hal:affiliation type="institution" xml:id="struct-300765" status="VALID">          <orgName>National ICT Australia [Sydney]</orgName>
          <orgName type="acronym">NICTA</orgName>
          <desc>            <address>              <country key="AU"></country>
            </address>
            <ref type="url">https://www.nicta.com.au</ref>
          </desc>
        </hal:affiliation>
<country>Australie</country>
</affiliation>
</author>
<author><name sortKey="Sankur, Ocan" sort="Sankur, Ocan" uniqKey="Sankur O" first="Ocan" last="Sankur">Ocan Sankur</name>
<affiliation wicri:level="1"><hal:affiliation type="researchteam" xml:id="struct-210611" status="OLD">          <idno type="RNSR">201321087U</idno>
          <orgName>SUpervision of large MOdular and distributed systems</orgName>
          <orgName type="acronym">SUMO</orgName>
          <desc>            <address>              <addrLine>Campus de Beaulieu 35042 Rennes cedex</addrLine>
              <country key="FR"></country>
            </address>
            <ref type="url">http://www.inria.fr/equipes/sumo</ref>
          </desc>
          <listRelation>            <relation active="#struct-419153" type="direct"></relation>
            <relation active="#struct-300009" type="indirect"></relation>
            <relation active="#struct-419365" type="direct"></relation>
            <relation active="#struct-105128" type="indirect"></relation>
            <relation active="#struct-172265" type="indirect"></relation>
            <relation name="UMR6074" active="#struct-441569" type="indirect"></relation>
            <relation active="#struct-247362" type="indirect"></relation>
            <relation name="- RENNES" active="#struct-301232" type="indirect"></relation>
            <relation active="#struct-301262" type="indirect"></relation>
            <relation active="#struct-105160" type="indirect"></relation>
            <relation active="#struct-411575" type="indirect"></relation>
          </listRelation>
        <tutelles><tutelle active="#struct-419153" type="direct"><org type="laboratory" xml:id="struct-419153" status="VALID"><idno type="RNSR">198018249C</idno>
<orgName>Inria Rennes – Bretagne Atlantique </orgName>
<desc><address><addrLine>Campus de beaulieu35042 Rennes cedex</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.inria.fr/centre/rennes</ref>
</desc>
<listRelation><relation active="#struct-300009" type="direct"></relation>
</listRelation>
</org>
</tutelle>
<tutelle active="#struct-300009" type="indirect"><org type="institution" xml:id="struct-300009" status="VALID"><orgName>Institut National de Recherche en Informatique et en Automatique</orgName>
<orgName type="acronym">Inria</orgName>
<desc><address><addrLine>Domaine de VoluceauRocquencourt - BP 10578153 Le Chesnay Cedex</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.inria.fr/en/</ref>
</desc>
</org>
</tutelle>
<tutelle active="#struct-419365" type="direct"><org type="department" xml:id="struct-419365" status="OLD">          <orgName>LANGAGE ET GÉNIE LOGICIEL</orgName>
          <orgName type="acronym">IRISA-D4</orgName>
          <desc>            <address>              <country key="FR"></country>
            </address>
            <ref type="url">https://www.irisa.fr/fr/departements/d4-langage-genie-logiciel</ref>
          </desc>
          <listRelation>            <relation active="#struct-105128" type="direct"></relation>
            <relation active="#struct-172265" type="indirect"></relation>
            <relation name="UMR6074" active="#struct-441569" type="indirect"></relation>
            <relation active="#struct-247362" type="indirect"></relation>
            <relation active="#struct-300009" type="indirect"></relation>
            <relation name="- RENNES" active="#struct-301232" type="indirect"></relation>
            <relation active="#struct-301262" type="indirect"></relation>
            <relation active="#struct-105160" type="indirect"></relation>
            <relation active="#struct-411575" type="indirect"></relation>
          </listRelation>
        </org>
</tutelle>
<tutelle active="#struct-105128" type="indirect"><org type="laboratory" xml:id="struct-105128" status="OLD">          <idno type="IdRef">026386909</idno>
          <idno type="ISNI">0000 0001 2298 7270</idno>
          <idno type="RNSR">200012163A</idno>
          <orgName>Institut de Recherche en Informatique et Systèmes Aléatoires</orgName>
          <orgName type="acronym">IRISA</orgName>
          <date type="start">2000</date>
          <date type="end">2016-12-31</date>
          <desc>            <address>              <addrLine>Avenue du général LeclercCampus de Beaulieu 35042 RENNES CEDEX</addrLine>
              <country key="FR"></country>
            </address>
            <ref type="url">http://www.irisa.fr</ref>
          </desc>
          <listRelation>            <relation active="#struct-172265" type="direct"></relation>
            <relation name="UMR6074" active="#struct-441569" type="direct"></relation>
            <relation active="#struct-247362" type="direct"></relation>
            <relation active="#struct-300009" type="direct"></relation>
            <relation name="- RENNES" active="#struct-301232" type="direct"></relation>
            <relation active="#struct-301262" type="direct"></relation>
            <relation active="#struct-105160" type="direct"></relation>
            <relation active="#struct-411575" type="direct"></relation>
          </listRelation>
        </org>
</tutelle>
<tutelle active="#struct-172265" type="indirect"><org type="institution" xml:id="struct-172265" status="VALID">          <orgName>Université de Bretagne Sud</orgName>
          <orgName type="acronym">UBS</orgName>
          <desc>            <address>              <addrLine>BP 92116 - 56321 Lorient cedex</addrLine>
              <country key="FR"></country>
            </address>
            <ref type="url">http://www.univ-ubs.fr/</ref>
          </desc>
        </org>
</tutelle>
<tutelle name="UMR6074" active="#struct-441569" type="indirect"><org type="institution" xml:id="struct-441569" status="VALID">          <idno type="IdRef">02636817X</idno>
          <idno type="ISNI">0000000122597504</idno>
          <orgName>Centre National de la Recherche Scientifique</orgName>
          <orgName type="acronym">CNRS</orgName>
          <date type="start">1939-10-19</date>
          <desc>            <address>              <country key="FR"></country>
            </address>
            <ref type="url">http://www.cnrs.fr/</ref>
          </desc>
        </org>
</tutelle>
<tutelle active="#struct-247362" type="indirect"><org type="institution" xml:id="struct-247362" status="VALID">          <orgName>École normale supérieure - Rennes</orgName>
          <orgName type="acronym">ENS Rennes</orgName>
          <desc>            <address>              <addrLine>Campus de Ker Lann - avenue Robert Schuman - 35170 Bruz</addrLine>
              <country key="FR"></country>
            </address>
            <ref type="url">http://www.ens-rennes.fr</ref>
          </desc>
        </org>
</tutelle>
<tutelle name="- RENNES" active="#struct-301232" type="indirect"><org type="institution" xml:id="struct-301232" status="VALID">          <orgName>Institut National des Sciences Appliquées</orgName>
          <orgName type="acronym">INSA</orgName>
          <desc>            <address>              <country key="FR"></country>
            </address>
          </desc>
        </org>
</tutelle>
<tutelle active="#struct-301262" type="indirect"><org type="institution" xml:id="struct-301262" status="VALID">          <orgName>Télécom Bretagne</orgName>
          <date type="start">1977</date>
          <desc>            <address>              <addrLine>Technopôle Brest-IroiseCS 8381829238 BREST Cedex 3</addrLine>
              <country key="FR"></country>
            </address>
            <ref type="url">http://www.telecom-bretagne.eu/</ref>
          </desc>
        </org>
</tutelle>
<tutelle active="#struct-105160" type="indirect"><org type="institution" xml:id="struct-105160" status="VALID">          <orgName>Université de Rennes 1</orgName>
          <orgName type="acronym">UR1</orgName>
          <desc>            <address>              <addrLine>2 rue du Thabor - CS 46510 - 35065 Rennes cedex</addrLine>
              <country key="FR"></country>
            </address>
            <ref type="url">http://www.univ-rennes1.fr/</ref>
          </desc>
        </org>
</tutelle>
<tutelle active="#struct-411575" type="indirect"><org type="institution" xml:id="struct-411575" status="VALID"><orgName>CentraleSupélec</orgName>
<desc><address><addrLine>3, rue Joliot Curie,Plateau de Moulon,91192 GIF-SUR-YVETTE Cedex</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.centralesupelec.fr</ref>
</desc>
</org>
</tutelle>
</tutelles>
</hal:affiliation>
<country>France</country>
<placeName><settlement type="city">Lorient</settlement>
<region type="region" nuts="2">Région Bretagne</region>
</placeName>
<orgName type="university">Université de Bretagne-Sud</orgName>
<orgName type="institution" wicri:auto="newGroup">Université européenne de Bretagne</orgName>
<placeName><settlement type="city">Rennes</settlement>
<region type="region" nuts="2">Région Bretagne</region>
</placeName>
<orgName type="university">Université de Rennes 1</orgName>
<orgName type="institution" wicri:auto="newGroup">Université européenne de Bretagne</orgName>
</affiliation>
</author>
<author><name sortKey="Seidl, Martina" sort="Seidl, Martina" uniqKey="Seidl M" first="Martina" last="Seidl">Martina Seidl</name>
<affiliation wicri:level="1"><hal:affiliation type="institution" xml:id="struct-210559" status="VALID">          <orgName>Johannes Kepler University Linz [linz]</orgName>
          <orgName type="acronym">JKU</orgName>
          <desc>            <address>              <addrLine>Altenberger Straße 69, 4040 Linz</addrLine>
              <country key="AT"></country>
            </address>
            <ref type="url">http://www.jku.at</ref>
          </desc>
        </hal:affiliation>
<country>Autriche</country>
</affiliation>
</author>
<author><name sortKey="Tentrup, Leander" sort="Tentrup, Leander" uniqKey="Tentrup L" first="Leander" last="Tentrup">Leander Tentrup</name>
<affiliation wicri:level="1"><hal:affiliation type="institution" xml:id="struct-110922" status="VALID">          <orgName>Saarland University [Saarbrücken]</orgName>
          <desc>            <address>              <addrLine>66123 Saarbrücken</addrLine>
              <country key="DE"></country>
            </address>
            <ref type="url">http://www.uni-saarland.de/en/</ref>
          </desc>
        </hal:affiliation>
<country>Allemagne</country>
</affiliation>
</author>
<author><name sortKey="Walker, Adam" sort="Walker, Adam" uniqKey="Walker A" first="Adam" last="Walker">Adam Walker</name>
<affiliation wicri:level="1"><hal:affiliation type="institution" xml:id="struct-300765" status="VALID">          <orgName>National ICT Australia [Sydney]</orgName>
          <orgName type="acronym">NICTA</orgName>
          <desc>            <address>              <country key="AU"></country>
            </address>
            <ref type="url">https://www.nicta.com.au</ref>
          </desc>
        </hal:affiliation>
<country>Australie</country>
</affiliation>
</author>
</analytic>
<idno type="DOI">10.1007/s10009-016-0416-3</idno>
<series><title level="j">International Journal on Software Tools for Technology Transfer</title>
<idno type="ISSN">1433-2779</idno>
<imprint><date type="datePub">2016-04-09</date>
</imprint>
</series>
</biblStruct>
</sourceDesc>
</fileDesc>
<profileDesc><textClass></textClass>
</profileDesc>
</teiHeader>
<front><div type="abstract" xml:lang="en">We introduce the reactive synthesis competition (SYNTCOMP), a long-term effort intended to stimulate and guide advances in the design and application of synthesis procedures for reactive systems. The first iteration of SYNTCOMP is based on the controller synthesis problem for finite-state systems and safety specifications. We provide an overview of this problem and existing approaches to solve it, and report on the design and results of the first SYNTCOMP. This includes the definition of the benchmark format, the collection of benchmarks, the rules of the competition, and the five synthesis tools that participated. We present and analyze the results of the competition and draw conclusions on the state of the art. Finally, we give an outlook on future directions of SYNTCOMP.</div>
</front>
</TEI>
<affiliations><list><country><li>Allemagne</li>
<li>Australie</li>
<li>Autriche</li>
<li>Belgique</li>
<li>France</li>
<li>Royaume-Uni</li>
</country>
<region><li>Région Bretagne</li>
</region>
<settlement><li>Lorient</li>
<li>Rennes</li>
</settlement>
<orgName><li>Université de Bretagne-Sud</li>
<li>Université de Rennes 1</li>
<li>Université européenne de Bretagne</li>
</orgName>
</list>
<tree><country name="Autriche"><noRegion><name sortKey="Jacobs, Swen" sort="Jacobs, Swen" uniqKey="Jacobs S" first="Swen" last="Jacobs">Swen Jacobs</name>
</noRegion>
<name sortKey="Bloem, Roderick" sort="Bloem, Roderick" uniqKey="Bloem R" first="Roderick" last="Bloem">Roderick Bloem</name>
<name sortKey="Hell, Timotheus" sort="Hell, Timotheus" uniqKey="Hell T" first="Timotheus" last="Hell">Timotheus Hell</name>
<name sortKey="Konighofer, Robert" sort="Konighofer, Robert" uniqKey="Konighofer R" first="Robert" last="Könighofer">Robert Könighofer</name>
<name sortKey="Seidl, Martina" sort="Seidl, Martina" uniqKey="Seidl M" first="Martina" last="Seidl">Martina Seidl</name>
</country>
<country name="Royaume-Uni"><noRegion><name sortKey="Brenguier, Romain" sort="Brenguier, Romain" uniqKey="Brenguier R" first="Romain" last="Brenguier">Romain Brenguier</name>
</noRegion>
</country>
<country name="Allemagne"><noRegion><name sortKey="Ehlers, Rudiger" sort="Ehlers, Rudiger" uniqKey="Ehlers R" first="Rüdiger" last="Ehlers">Rüdiger Ehlers</name>
</noRegion>
<name sortKey="Tentrup, Leander" sort="Tentrup, Leander" uniqKey="Tentrup L" first="Leander" last="Tentrup">Leander Tentrup</name>
</country>
<country name="Belgique"><noRegion><name sortKey="Perez, Guillermo A" sort="Perez, Guillermo A" uniqKey="Perez G" first="Guillermo A." last="Pérez">Guillermo A. Pérez</name>
</noRegion>
<name sortKey="Raskin, Jean Francois" sort="Raskin, Jean Francois" uniqKey="Raskin J" first="Jean-François" last="Raskin">Jean-François Raskin</name>
</country>
<country name="Australie"><noRegion><name sortKey="Ryzhyk, Leonid" sort="Ryzhyk, Leonid" uniqKey="Ryzhyk L" first="Leonid" last="Ryzhyk">Leonid Ryzhyk</name>
</noRegion>
<name sortKey="Walker, Adam" sort="Walker, Adam" uniqKey="Walker A" first="Adam" last="Walker">Adam Walker</name>
</country>
<country name="France"><region name="Région Bretagne"><name sortKey="Sankur, Ocan" sort="Sankur, Ocan" uniqKey="Sankur O" first="Ocan" last="Sankur">Ocan Sankur</name>
</region>
</country>
</tree>
</affiliations>
</record>

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Amérique/explor/PittsburghV1/Data/Main/Exploration

HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 000085 | SxmlIndent | more

HfdSelect -h $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd -nk 000085 | SxmlIndent | more

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Amérique
   |area=    PittsburghV1
   |flux=    Main
   |étape=   Exploration
   |type=    RBID
   |clé=     Hal:hal-01373547
   |texte=   The first reactive synthesis competition (SYNTCOMP 2014)
}}

This area was generated with Dilib version V0.6.38.
Data generation: Fri Jun 18 17:37:45 2021. Site generation: Fri Jun 18 18:15:47 2021

	Serveur d'exploration sur Pittsburgh
	Attention, ce site est en cours de développement ! Attention, site généré par des moyens informatiques à partir de corpus bruts. Les informations ne sont donc pas validées.

Serveur d'exploration sur Pittsburgh

The first reactive synthesis competition (SYNTCOMP 2014)

The first reactive synthesis competition (SYNTCOMP 2014)

Source :

Abstract

Links toward previous steps (curation, corpus...)

Le document en format XML

Pour manipuler ce document sous Unix (Dilib)

Pour mettre un lien sur cette page dans le réseau Wicri